contramap f . predToStr = predToStr . contramap f